Nuprl Definition : fpf-map
11,40
postcript
pdf
fpf-map(
a
,
v
.
f
(
a
;
v
);
x
) == map(
a
.
f
(
a
;(
x
.2)(
a
));
x
.1)
latex
Definitions
map(
f
;
as
)
,
t
.2
,
t
.1
FDL editor aliases
fpf-map
origin
a.f(a;(x.2)(a));x.1) a.f(a;(x.2)(a));x.1)